open Syntax
open Binding



type expression_argument = ExpressionString of string | RawExpression of t_Expr
val show_expr_window :  context ->expression_argument->unit->unit